Nonlinear Array Dependence Analysis Nonlinear Array Dependence Analysis
نویسندگان
چکیده
Standard array data dependence techniques can only reason about linear constraints. There has also been work on analyzing some dependences involving polynomial constraints. Analyzing array data dependences in real-world programs requires handling many \unanalyzable" terms: subscript arrays, run-time tests, function calls. The standard approach to analyzing such programs has been to omit and ignore any constraints that cannot be reasoned about. This is unsound when reasoning about value-based dependences and whether privatization is legal. Also, this prevents us from determining the conditions that must be true to disprove the dependence. These conditions could be checked by a run-time test or veriied by a programmer or aggressive, demand-driven interprocedural analysis. We describe a solution to these problems. Our solution makes our system sound and more accurate for analyzing value-based dependences and derives conditions that can be used to disprove dependences. We also give some preliminary results from applying our techniques to programs from the Perfect benchmark suite. Abstract Standard array data dependence techniques can only reason about linear constraints. There has also been work on analyzing some dependences involving polynomial constraints. Analyzing array data dependences in real-world programs requires handling many \unanalyzable" terms: subscript arrays, run-time tests, function calls. The standard approach to analyzing such programs has been to omit and ignore any constraints that cannot be reasoned about. This is unsound when reasoning about value-based dependences and whether privatization is legal. Also, this prevents us from determining the conditions that must be true to disprove the dependence. These conditions could be checked by a run-time test or veriied by a programmer or aggressive, demand-driven interprocedural analysis. We describe a solution to these problems. Our solution makes our system sound and more accurate for analyzing value-based dependences and derives conditions that can be used to disprove dependences. We also give some preliminary results from applying our techniques to programs from the Perfect benchmark suite.
منابع مشابه
An Exact Method for Analysis of Value-based Array Data Dependences
Standard array data dependence testing algorithms give information about the alias-ing of array references. If statement 1 writes aa5], and statement 2 later reads aa5], standard techniques described this as a ow dependence, even if there was an intervening write. We call a dependence between two references to the same memory location a memory-based dependence. In contrast, if there are no inte...
متن کاملLinearity Analysis for Automatic Differentiation
Linearity analysis determines which variables depend on which other variables and whether the dependence is linear or nonlinear. One of the many applications of this analysis is determining whether a loop involves only linear loop-carried dependences and therefore the adjoint of the loop may be reversed and fused with the computation of the original function. This paper specifies the data-flow ...
متن کاملRadius Dependence of Hydrogen Storage Inside Single Walled Carbon Nanotubes in an Array
In this study, we have investigated radius dependence of hydrogen storage within armchair (n,n) single walled carbon nanotubes (SWCNT) in a square arrays. To this aim, we have employed equilibrium molecular dynamics (MD) simulation. Our simulations results reveal that radius of carbon nanotubes are an important and influent factor in hydrogen distribution inside carbon nanotubes and consequentl...
متن کاملComparison between Radial and Halbach Array PMLSM by Employing 2-D Electromagnetic Finite Element Analysis
The replacement of steam catapults with electromagnetic ones is becoming an overwhelming trend in aircraft launch systems. The Electromagnetic Aircraft Launch System (EMALS) offers significant benefits to the aircraft, ship, personnel, and operational capabilities. EMALS has such advantages as high thrust, good controllability, reusable, etc., as a launching motor, a double-side plate Permanent...
متن کاملIndex-Association Based Dependence Analysis and its Application in Automatic Parallelization
In this paper, we present a technique to perform dependence analysis on more complex array subscripts than the linear form of the enclosing loop indices. For such complex array subscripts, we decouple the original iteration space and the dependence test iteration space and link them through index-association functions. Dependence analysis is performed in the dependence test iteration space to d...
متن کامل